Scalable Automated Methods For Software Reliability